You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the case that the GH PR is closed we will run sync.finish(). But if we then reopen the upstream PR, but the bot misses the event for any reason then running wptsync pr doesn't reopen the sync, but instead exits because it's already closed. So we should be able to reopen the sync in this case.
The text was updated successfully, but these errors were encountered:
In the case that the GH PR is closed we will run
sync.finish()
. But if we then reopen the upstream PR, but the bot misses the event for any reason then runningwptsync pr
doesn't reopen the sync, but instead exits because it's already closed. So we should be able to reopen the sync in this case.The text was updated successfully, but these errors were encountered: